automatic theorem proving - French English Dictionary